How An Ideal Logic Works